1. ......................
پدیدآورنده : Arbib, Michael A.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Cybernetics,، Artificial intelligence,، Neurophysiology
رده :
Q
310
.
A72
2. A Basic for theoretical computer science
پدیدآورنده : Arbib, Michael Anthony, 0491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Machine theory,، Formal languages
رده :
QA
267
.
A517
1981
3. A Programming Approach to Computability
پدیدآورنده : by A. J. Kfoury, Robert N. Moll, Michael A. Arbib.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Software engineering.
4. A basis for theoretical computer science
پدیدآورنده : Arbib, Michael A
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Computer science
رده :
QA
267
.
A715
5. A programming approach to computability
پدیدآورنده : / A. J. Kfoury, Robert N. Moll, Michael A. Arbib
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Computable functions,Programming (Electronic computers)
رده :
QA9
.
59
.
K46
6. A programming approach to computability
پدیدآورنده : Kfoury, A. J.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Computer programming
رده :
QA
9
.
59
.
K46
1982
7. <A> programming approach to computability
پدیدآورنده : / [by] A.J. Kfoury, Robert N. Moll, Michael A. Arbib
کتابخانه: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
موضوع :
رده :
QA9
.
59
،.
K568
1982
8. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G., 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Algebra
رده :
QA
76
.
7
.
M34
1986
9. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
10. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
11. Algebraic theory of machines, languages, and semi-groups
پدیدآورنده : Arbib, Michael A
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Machine theory,، Group theory,، Mathematical linguistics
رده :
QA
267
.
A7
12. Algebraic theory of machines, languages, and semi-groups
پدیدآورنده : Arbib, Michael A.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Machine theory,، Group theory,، Mathematical linguistics
رده :
QA
267
.
A7
13. An introduction to formal language theory /
پدیدآورنده : Robert N. Moll, Michael A. Arbib, A.J. Kfoury ; with contributions by James Pustejovsky.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
14. An introduction to formal language theory
پدیدآورنده : Moll, Robert N.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Programming languages )Electronic computers(,، Formal languages
رده :
QA
76
.
7
.
M65
1988
15. An introduction to formal language theory
پدیدآورنده : Moll, Robert N.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Formal languages
رده :
QA
76
.
7
.
M65
1988
16. Arrows, structures, and functors :
پدیدآورنده : Michael A. Arbib, Ernest G. Manes
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra,Categories (Mathematics),Functor theory
رده :
QA169
.
A7
17. Arrows, structures, and functors, the categorical imperative
پدیدآورنده : Arbib, Michael A.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Categories )Mathematics(,، Functor theory,، Algebra
رده :
QA
169
.
A7
18. Arrows,structures,& functions:the categorical imperative
پدیدآورنده : ARBIB,MICHAEL A
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : CATEGORIES )MATHEMATICS( , FUNCTOR THEORY , ALGEBRA
رده :
QA
169
.
A7
19. Brains, machines, and mathemaitcs
پدیدآورنده : / Michael A. Arbib
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Cybernetics
رده :
001
.
53
A664
